More from this Author
Found 4 books by Zhaohui Luo (Editor)
Modern Perspectives in Type-Theoretical Semantics
by Stergios Chatzikyriakidis (Editor), Zhaohui Luo (Editor)
Types for Proofs and Programs
by Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor), Robert Pollack (Editor)
Modern Perspectives in Type-Theoretical Semantics
by Stergios Chatzikyriakidis (Editor), Zhaohui Luo (Editor)
Types for Proofs and Programs
by Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor)